Let us recall that Raphael Robinson's Arithmetic Q is an axiom system that differs from Peano Arithmetic essentially by containing no Induction axioms [13], [18]. We will generalize the semantic-tableaux version of the Second Incompleteness Theorem almost to the level of System Q. We will prove that there exists a single rather long Π 1 sentence, valid in the standard model of the Natural Numbers and denoted as V, such that if α is any finite consistent extension of Q + (...) V then α will be unable to prove its Semantic Tableaux consistency. The same result will also apply to axiom systems α with infinite cardinality when these infinite-sized axiom systems satisfy a minor additional constraint, called the Conventional Encoding Property. Our formalism will also imply that the semantic-tableaux version of the Second Incompleteness Theorem generalizes for the axiom system IΣ 0 , as well as for all its natural extensions. (This answers an open question raised twenty years ago by Paris and Wilkie [15].). (shrink)

The dominant language of politics in the United States has been political individualism, with minimal restrictions on property and personal, voluntary conduct. But there are second languages of community that stress cooperation and group action. These second languages include the constitutional tradition for public health. Public health offers a community justification for paternalistic measures that, for example, discourage smoking or require seatbelts.

This paper will introduce the notion of a naming convention and use this paradigm to both develop a new version of the Second Incompleteness Theorem and to describe when an axiom system can partially evade the Second Incompleteness Theorem.

In 1981, Paris and Wilkie raised the open question about whether and to what extent the axiom system did satisfy the Second Incompleteness Theorem under Semantic Tableaux deduction. Our prior work showed that the semantic tableaux version of the Second Incompleteness Theorem did generalize for the most common definition of appearing in the standard textbooks.However, there was an alternate interesting definition of this axiom system in the Wilkie–Paris article in the Annals of Pure and Applied Logic 35 , pp. 261–302 (...) which we did not examine in our year-2002 article in the Journal of Symbolic Logic. Our first goal is to show that the incompleteness results of our prior paper can generalize in this alternate context. We will also develop a formal analysis, using a new technique called Passive Induction, that is simpler than the formalism we had used before.A further reason our results are of interest is that we have shown in a companion paper published in Electronic Notes in Theoretical Computer Science 165 , pp. 213–226 that some very unorthodox axiomizations for are anti-thresholds for the Herbrandized version of the Second Incompleteness Theorem. Thus, different axiomizations for have nearly fully opposite incompleteness properties.This paper is self-contained. It will not require a knowledge of our earlier results. (shrink)

On the unorthodox ways in which people relate to each other.

Perceptual judgments result from a dynamic process, but little is known about the dynamics of number‐line estimation. A recent study proposed a computational model that combined a model of trial‐to‐trial changes with a model for the internal scaling of discrete numbers. Here, we tested a surprising prediction of the model—a situation in which children's estimates of numerosity would be better than those of adults. Consistent with the model simulations, task contexts led to a clear developmental reversal: children made more adult‐like, (...) linear estimates when to‐be‐estimated numbers were descending over trials (i.e., backward condition), whereas adults became more like children with logarithmic estimates when numbers were ascending (i.e., forward condition). In addition, adults’ estimates were subject to inter‐trial differences regardless of stimulus order. In contrast, children were not able to use the trial‐to‐trial dynamics unless stimuli varied systematically, indicating the limited cognitive capacity for dynamic updates. Together, the model adequately predicts both developmental and trial‐to‐trial changes in number‐line tasks. (shrink)

This article will study a class of deduction systems that allow for a limited use of the modus ponens method of deduction. We will show that it is possible to devise axiom systems α that can recognize their consistency under a deduction system D provided that: (1) α treats multiplication as a 3-way relation (rather than as a total function), and that (2) D does not allow for the use of a modus ponens methodology above essentially the levels of Π1 (...) and Σ1 formulae. Part of what will make this boundary-case exception to the Second Incompleteness Theorem interesting is that we will also characterize generalizations of the Second Incompleteness Theorem that take force when we only slightly weaken the assumptions of our boundary-case exceptions in any of several further directions. (shrink)

With increasing momentum for health care reform, attention is shifting to finance reform that will provide for direct methods for controlling health care spending. This article outlines the two principal paths to direct cost control and outlines a national plan that retains our multiple sources of payment, yet also contains a powerful direct cost control technique: a single fund to finance all health care.

Gödel’s Second Incompleteness Theorem states axiom systems of sufficient strength are unable to verify their own consistency. We will show that axiomatizations for a computer’s floating point arithmetic can recognize their cut-free consistency in a stronger respect than is feasible under integer arithmetics. This paper will include both new generalizations of the Second Incompleteness Theorem and techniques for evading it.

Book reviewed in this article: Seeking Fair Treatment: From the AIDS Epidemic to National Health Care Reform. By Norman Daniels.

In a range of contexts, individuals arrive at collective decisions by sharing confidence in their judgements. This tendency to evaluate the reliability of information by the confidence with which it is expressed has been termed the ‘confidence heuristic’. We tested two ways of implementing the confidence heuristic in the context of a collective perceptual decision-making task: either directly, by opting for the judgement made with higher confidence, or indirectly, by opting for the faster judgement, exploiting an inverse correlation between confidence (...) and reaction time. We found that the success of these heuristics depends on how similar individuals are in terms of the reliability of their judgements and, more importantly, that for dissimilar individuals such heuristics are dramatically inferior to interaction. Interaction allows individuals to alleviate, but not fully resolve, differences in the reliability of their judgements. We discuss the implications of these findings for models of confidence and collective decision-making. (shrink)

What kind of futures does agro-food imaginaries enable and who can get involved in the making of agro-food futures? In this respect, what can the increasingly influential idea of circular economy potentially offer in terms of enabling more sustainable agrofood futures? We approach this task by first outlining the interconnected challenges that the agro-food system is facing related to environmental degradation, economic crises and social problems. Then we consider the way these challenges are being addressed in agro-food studies. We argue (...) that agro-food research in recent years has seen important contributions in relation to studies of alternative food networks and the “quality” turn. These research agendas have challenged the current logic of the food system in terms of offering alternative visions of future development. We highlight two examples from the literature—the eco-economy and the integrated territorial agri-food paradigm—that develop broader frameworks for rethinking the future of the agro-food system and which have distinguished themselves in contrast to the industrialized and globalized conventional food system. We find that with respect to reorienting and reconfiguring economic structures and relations all three approaches share a common goal, but circular economy stands out in relation to the actors that are included by, for example, emphasizing collaborations and partnerships with extant agro-food businesses. Also with regards to scalar politics, it would be prudent to consider the potentials offered by the increasingly influential ideas around circular economy. (shrink)

This book is the most comprehensive treatment available of one of the most urgent - and yet in some respects most neglected - problems in bioethics: decision-making for incompetents. Part I develops a general theory for making treatment and care decisions for patients who are not competent to decide for themselves. It provides an in-depth analysis of competence, articulates and defends a coherent set of principles to specify suitable surrogate decisionmakers and to guide their choices, examines the value of advance (...) directives, and investigates the role that considerations of cost ought to play in decisions concerning incompetents. Part II applies this theoretical framework to the distinctive problems of three important classes of individuals, many of whom are incompetent: minors, the elderly and psychiatric patients. The authors' approach combines a probing analysis of fundamental issues in ethical theory with a sensitive awareness of the concrete realities of health care institutions and the highly personal and individual character of difficult practical problems. Its broad scope will appeal to health professionals, moral philosophers and lawyers alike. (shrink)

Overestimation of one’s ability to argue their position on socio-political issues may partially underlie the current climate of political extremism in the U.S. Yet very little is known about what factors influence overestimation in argumentation of socio-political issues. Across three experiments, emotional investment substantially increased participants’ overestimation. Potential confounding factors like topic complexity and familiarity were ruled out as alternative explanations. Belief-based cues were established as a mechanism underlying the relationship between emotional investment and overestimation in a measurement-of-mediation and manipulation-of-mediator (...) design. Representing a new bias blind spot, participants believed emotional investment helps them argue better than it helps others ; where in reality emotional investment harmed or had no effect on argument quality. These studies highlight misguided beliefs about emotional investment as a factor underlying metacognitive miscalibration in the context of socio-political issues. (shrink)

The cost of health care in the United States has important generational considerations whether analyzed at a point in time, or over many years. The budgets of governments contain important information about the funding of public services, including health care, and the intra- and inter-generational implications of both the inherent tradeoffs, and the particular means of funding the services. End-of-life expenditures, while a significant component of the cost of health care, are not the primary consideration in the ethical or moral (...) questions raised. (shrink)

In this essay I ask the reader to consider the “end of life” as a life stage, rather than as a health state. At one end of the life course is childhood and at the other end is elderhood. The basic inter-generational social compact in most societies is that working adults take care of their children and their parents, and count on their children to do the same for them. In developed countries, these obligations are met in part through government (...) programs, with taxpayers funding significant portions of education, health care, and income support. (shrink)

Belongingness is a central biopsychosocial system. Challenges to belongingness (i.e. exclusion/ostracism) engender robust negative effects on affect and cognitions. Whether overinclusion – getting more than one’s fair share of social attention – favourably impacts affect and cognitions remains an open question. This pre-registered meta-analysis includes twenty-two studies (N = 2757) examining overinclusion in the context of the Cyberball task. We found that the estimated overall effect size of overinclusion on positive affect was small but robust, and the effect on fundamental (...) needs cognitions (belongingness, self-esteem, meaningful existence and control) was moderate in size and positive in direction. Notably, the effect sizes of overinclusion were smaller than the corresponding effects of exclusion. Finally, the effects of overinclusion on positive affect were greater for high, as compared to low, socially anxious individuals. Exploring the sequelae of the full range of inclusion experiences – from exclusion to overinclusion – may enrich our understanding of the functioning of the belongingness system as well as its interaction with another central biosocial system – the social status system. (shrink)

We are drowning in information, while starving for wisdom.Are the smartest people also the wisest? Not necessarily. While traditional intellectual reasoning and procedural knowledge have helped build the communities we live in, there is a growing scientific understanding that we need emotionally balanced and better-fitting prosocial frameworks for coping with the uncertainties and complexities of life and addressing new challenges of the modern world. We are now poised on the edge of a new science of wisdom.The concept of wisdom, long (...) considered the “pinnacle of insight into the human condition”, has been that of an intangible, subjective, culturally specific entity—an unscientific... (shrink)

It is always risky to make sweeping statements about the development of philosophy, but if one were nevertheless asked to describe 20th century philosophy in broad strokes, one noteworthy feature might be the following: Whereas important figures at the beginning of the century, figures such as Frege and Husserl, were very explicit in their rejection of naturalism (both are known for their rejection of the attempt to naturalize the laws of logic, i.e., for their criticism of psychologism), the situation has (...) changed considerably. Today many philosophers – not the least within analytical philosophy – would subscribe to some form of naturalism. In fact, naturalism is seen by many as the default metaphysical position. If you don’t subscribe to naturalism you must be subscribing to some form of Cartesian substance dualism. Thus, whereas 20 or 30 years ago one might have been inclined to characterize the development of 20th century philosophy in terms of a linguistic turn, a turn from a philosophy of subjectivity to a philosophy of language, it might today be more apt to describe the development in terms of a turn from anti-naturalism to naturalism. (shrink)

If stem cell-based therapies are developed, we will likely confront a difficult problem of justice: for biological reasons alone, the new therapies might benefit only a limited range of patients. In fact, they might benefit primarily white Americans, thereby exacerbating long-standing differences in health and health care.

1 Evidence-based policy requires researchers to provide the answers to ecological questions that are of interest to policy makers. To find out what those questions are in the UK, representatives from 28 organizations involved in policy, together with scientists from 10 academic institutions, were asked to generate a list of questions from their organizations. 2 During a 2-day workshop the initial list of 1003 questions generated from consulting at least 654 policy makers and academics was used as a basis for (...) generating a short list of 100 questions of significant policy relevance. Short-listing was decided on the basis of the preferences of the representatives from the policy-led organizations. 3 The areas covered included most major issues of environmental concern in the UK, including agriculture, marine fisheries, climate change, ecosystem function and land management. 4 The most striking outcome was the preference for general questions rather than narrow ones. The reason is that policy is driven by broad issues rather than specific ones. In contrast, scientists are frequently best equipped to answer specific questions. This means that it may be necessary to extract the underpinning specific question before researchers can proceed. 5 Synthesis and applications. Greater communication between policy makers and scientists is required in order to ensure that applied ecologists are dealing with issues in a way that can feed into policy. It is particularly important that applied ecologists emphasize the generic value of their work wherever possible. (shrink)

In The Second Sex, Simone de Beauvoir revealed that it is just this freedom of withdrawal from self that woman cannot gain because of the constant effort of establishing and guarding her identity against an enforced background of passivity, ornamentality and self-enclosure. Even as a small child, woman is taught how to.

In this paper, I engage with a recent contextualist account of gender terms proposed by Díaz-León, E. 2016. “Woman as a Politically Significant Term: A Solution to the Puzzle.” Hypatia 31 : 245–58. Díaz-León’s main aim is to improve both on previous contextualist and non-contextualist views and solve a certain puzzle for feminists. Central to this task is putting forward a view that allows trans women who did not undergo gender-affirming medical procedures to use the gender terms of their choice (...) to self-identify. My goal is to investigate Díaz-León’s proposal, point out several shortcomings of the view and discuss possible replies on her part. (shrink)

We report on the deliberations of an interdisciplinary group of experts in science, law, and philosophy who convened to discuss novel ethical and policy challenges in stem cell research. In this report we discuss the ethical and policy implications of safety concerns in the transition from basic laboratory research to clinical applications of cell-based therapies derived from stem cells. Although many features of this transition from lab to clinic are common to other therapies, three aspects of stem cell biology pose (...) unique challenges. First, tension regarding the use of human embryos may complicate the scientific development of safe and effective cell lines. Second, because human stem cells were not developed in the laboratory until 1998, few safety questions relating to human applications have been addressed in animal research. Third, preclinical and clinical testing of biologic agents, particularly those as inherently complex as mammalian cells, present formidable challenges, such as the need to develop suitable standardized assays and the difficulty of selecting appropriate patient populations for early phase trials. We recommend that scientists, policy makers, and the public discuss these issues responsibly, and further, that a national advisory committee to oversee human trials of cell therapies be established. **NB we did not reccommend a NAC, we think it might be appropriate**. (shrink)

Many accounts of collective intentionality target rather sophisticated types of cooperative activities, i.e., activities with complex goals that require prior planning and various coordinating and organizing roles. But although joint action is of obvious importance, an investigation of collective intentionality should not merely focus on the question of how we can share agentive intentions. We can act and do things together, but it is not obvious that the awe felt and shared by a group of Egyptologists when they gain entry (...) to a newly discovered pharaonic tomb can or should be analyzed in the same way as, say, a heist that a group of criminals carefully plan and execute together. The aim of the article is to better understand the kind of emotional sharing that can occur between two individuals who are perceptually co-present. Does the sharing involve a kind of phenomenal fusion? Is it a matter of sharing one and the same token experience? It will be argued that both of these recent suggestions must be rejected as misleading in favor of an account that sees emotional sharing as a form of emotional integration that involves constitutively interdependent processes of empathy, second-personal address, and identification. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 8.4 (2001) 339-341 [Access article in PDF] Schizophrenia and Self-Awareness Dan Zahavi In his paper, "Cogito and I: A Bio-Logical Approach," Kimura Bin raises a number of intriguing issues. Let me in the following address a few of them. Kimura Bin's point of departure is the idea that schizophrenia is basically to be understood as a disorder of self and self-experience. Thus, fundamental alterations in (...) the sense of possession and control of one's own thoughts, actions, sensations, or emotions figure among the most prominent symptoms in its advanced stages. But even in the absence of overt symptoms, the schizophrenic may feel uncertain about her selfhood, and it is often in an attempt to restore or at least sustain her precarious self-identity that the patient engages in characteristic obsessive self-reflections that frequently simply exacerbate the problem.1. One way to illustrate what is peculiar about the self-disorder in schizophrenia is by contrasting it with the symptoms found in senile dementia. Whereas the demented patient might lack any knowledge about the features that characterize him from a third-person perspective, i.e., age, nationality, profession, location, etc., he is usually in possession of an intact first-person perspective: He is still aware of the I-Here-Now. In schizophrenia, the problem is typically exactly the reverse (Tatossian 1997, 26). This contrast makes it tempting to argue, as Kimura Bin in fact does, that we need to distinguish two different dimensions of selfhood: the self as subject and the self as object. Of course, by making that distinction, we are immediately partaking in a classical philosophical discussion. Thus, at least since Kant, it has been customary to distinguish between the transcendental subject and the empirical or mundane subject. This distinction can be cashed out as a distinction between two different ways of being aware of oneself, one external, the other internal. On the one hand, I can think of myself from a third-person perspective, that is, I can refer to an object by way of a proper name, a demonstrative, or a definite description, and occasionally this object happens to be myself. When I refer to myself in this way, I am referring to myself in exactly the same way that I can refer to Others, and Others can refer to me (the only difference being that I am the one doing it, thus making the reference into a kind of self-reference). Apart from being external and contingent, this kind of self-reference is also non-thematic, since it can occur without my knowledge of it, that is, I can refer to myself from the third-person perspective without realizing that I myself am the referent. In contrast, the self-reference available from the first-person perspective—the one expressed in the subject-use of "I"—is of an internal kind. Not only is it impossible to refer to anybody and anything apart from oneself in the first-person way, but it also belongs to the proper use of "I" that one knows that one is referring to oneself. That is, apart from being internal and necessary, the self-reference in question is also of a thematic nature. In [End Page 339] more traditional terms: One can be conscious of oneself as an empirical object with mental properties, and one can be conscious of oneself as the subject of intentionality. Or again, one can be aware of oneself as a causally determined known object, as a part of the world, and one can be aware of oneself as a knowing subject, as—to paraphrase Wittgenstein—the limit of the world. In short, the difference between the empirical subject and the transcendental subject is closely linked to the difference between being aware of oneself as an object in the world and being aware of oneself as a subject for the world.Utilizing this distinction, it can be said that schizophrenia involves a disturbance on the transcendental level (this way of speaking would, by the way, be anathema to a classical Kantian transcendental philosophy but more acceptable to the... (shrink)

In this paper, I examine the crucial relationship between Locke’s theory of individuation and his theory of kinds. Locke holds that two material objects—e.g., a mass of matter and an oak tree—can be in the same place at the same time, provided that they are ‘of different kinds’. According to Locke, kinds are nominal essences, that is, general abstract ideas based on objective similarities between particular individuals. I argue that Locke’s view on coinciding material objects is incompatible with his view (...) on kinds. In order for two material objects to be in the same place at the same time, they must differ with respect to at least one nominal essence. However, Locke thinks that it is impossible that x and y have the same real essence but differ with respect to any nominal essence; and coinciding material objects have the same real essence. Therefore, Locke cannot hold what he in fact holds, namely that distinct material objects can be in the same place at the same time. (shrink)

Several theorists have been attracted to the idea that in order to account for counterpossibles, i.e. counterfactuals with impossible antecedents, we must appeal to impossible worlds. However, few have attempted to provide a detailed impossible worlds account of counterpossibles. Berit Brogaard and Joe Salerno’s ‘Remarks on Counterpossibles’ is one of the few attempts to fill in this theoretical gap. In this article, I critically examine their account. I prove a number of unanticipated implications of their account that end up implying (...) a counterintuitive result. I then examine a suggested revision and point out a surprising implication of the revision. (shrink)

In his Allgemeine Psychologie of 1912, Natorp formulates a by now classical criticism of phenomenology. 1. Phenomenology claims to describe and analyze lived subjectivity itself. In order to do so it employs a reflective methodology. But reflection is a kind of internal perception; it is a theoretical attitude; it involves an objectification. And as Natorp then asks, how is this objectifying procedure ever going to provide us with access to lived subjectivity itself? 2. Phenomenology aims at describing the experiential structures (...) in their pretheoretical immediacy. But every description involves the use of language, involves the use of generalizing and subsuming concepts. For the very same reason, every description and expression involves a mediation and objectification that necessarily estranges us from subjectivity itself.In his early lecture course Die Idee der Philosophie und das Weltanschauungsproblem of 1919 Heidegger responds to Natorp's challenge and attempts to show that the criticism is based on some questionable assumptions. More specifically, Heidegger argues that Natorp's criticism might be pertinent when it comes to a phenomenology based on a reflective methodology, i.e. when it comes to a Husserlian phenomenology, but it is wide of the mark when it comes to Heidegger's own hermeneutical phenomenology.In this paper I wish to present both Natorp's criticism and Heidegger's response in detail. One of the aims will be to articulate the criticism that Heidegger himself—via his discussion with Natorp—directs against a reflective phenomenology. In the final part of the paper I will then evaluate the pertinence of this criticism. Is it at all justified? (shrink)